• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) (39)
    • Institut National de Recherche en Informatique et en Automatique (Inria) (27)
    • Inria Rennes – Bretagne Atlantique (24)
    • Diversity-centric Software Engineering (DiverSe) (23)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) (23)
    • Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) (23)
    • Université de Rennes 1 (UR1) (23)
    • Institut de recherche en informatique de Toulouse (IRIT) (21)
    • Université Fédérale Toulouse Midi-Pyrénées (21)
    • Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) (21)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...8 Hits 1 – 20 of 156 1 Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities Hwang Arcolezi, Héber; Cerna Nahuis, Selene Leya; Couchot, Jean-François... In: IEEE Transactions on Industrial Informatics ; https://hal.archives-ouvertes.fr/hal-03456142 ; IEEE Transactions on Industrial Informatics, 2021, 14 (30), pp.1 (2021) BASE Show details 2 Exploiting augmented intelligence in the modeling of safety-critical autonomous systems Yang, Zhibin; Bao, Yang; Yang, Yongqiang... In: ISSN: 0934-5043 ; EISSN: 1433-299X ; Formal Aspects of Computing ; https://hal.archives-ouvertes.fr/hal-03411215 ; Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩ ; https://link.springer.com/article/10.1007%2Fs00165-021-00543-6 (2021) BASE Show details 3 Immediate Feedback for Students to Solve Notebook Reproducibility Problems in the Classroom Casseau, Christophe; Falleri, Jean-Rémy; Blanc, Xavier... In: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://hal.archives-ouvertes.fr/hal-03378094 ; 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Oct 2021, Saint Louis, Missouri, United States. ⟨10.1109/VL/HCC51201.2021.9576363⟩ (2021) BASE Show details 4 Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM NZEBOP NDENOKA, Gérard; Tchuente, M.; Simeu, Emmanuel In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021) BASE Show details 5 SEALS: A framework for building Self-Adaptive Virtual Machines Jouneaux, Gwendal; Barais, Olivier; Combemale, Benoit... In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021) BASE Show details 6 Automating user-feedback driven requirements prioritization Kifetew, Fitsum Meshesha; Perini, Anna; Susi, Angelo... In: ISSN: 0950-5849 ; EISSN: 1873-6025 ; Information and Software Technology ; https://hal.archives-ouvertes.fr/hal-03277970 ; Information and Software Technology, Elsevier, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩ (2021) BASE Show details 7 Automatic Guide Generation for Stan via NumPyro Baudart, Guillaume; Mandel, Louis In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021) BASE Show details 8 3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues Tazouti, Yassine. - : HAL CCSD, 2021 In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021) BASE Show details 9 Modelling, Reverse Engineering, and Learning Software Variability Acher, Mathieu. - : HAL CCSD, 2021 In: https://hal.inria.fr/tel-03521806 ; Software Engineering [cs.SE]. Université de Rennes 1, 2021 (2021) BASE Show details 10 A principled approach to REPL interpreters Thomas Van Binsbergen, L.; Merino, Mauricio,; Jeanjean, Pierre... In: SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity ; https://hal.inria.fr/hal-02968938 ; SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩ (2020) BASE Show details 11 A Language Agnostic Approach to Modeling Requirements: Specification and Verification Alidra, Abdelghani; Beugnard, Antoine; Godfroy, Hubert... In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020) BASE Show details 12 Causal reasoning and symbolic relationships in Medieval Illuminations ; Raisonnement causale et relations symboliques dans les Enluminures médiévales Diarra, Djibril; Clouzot, Martine; Nicolle, Christophe In: EISSN: 2416-5999 ; Journal of Data Mining and Digital Humanities ; https://hal.archives-ouvertes.fr/hal-01762730 ; Journal of Data Mining and Digital Humanities, Episciences.org, 2019, Special Issue on Data Science and Digital Humanities @ EGC 2018 (2019) BASE Show details 13 LMF Reloaded Romary, Laurent; Khemakhem, Mohamed; Khan, Fahad... In: AsiaLex 2019: Past, Present and Future ; https://hal.inria.fr/hal-02118319 ; AsiaLex 2019: Past, Present and Future, Jun 2019, Istanbul, Turkey (2019) BASE Show details 14 Wiki support for automated definition of software test cases Antonelli, Leandro; Hozikian, Mariangeles; Camilleri, Guy... In: ISSN: 0368-492X ; Kybernetes ; https://hal.archives-ouvertes.fr/hal-02941373 ; Kybernetes, Emerald, 2019, 49 (4), pp.1305-1324. ⟨10.1108/K-10-2018-0548⟩ (2019) BASE Show details 15 Generation of Inductive Types from Ecore Metamodels Buisson, Jérémy; Rehab, Seidali In: Model-Driven Engineering and Software Development. MODELSWARD 2018. ; https://hal.archives-ouvertes.fr/hal-02021361 ; Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019 (2019) BASE Show details 16 Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code Buisson, Jérémy; Rehab, Seidali In: Modelling and Implementation of Complex Systems ; https://hal.archives-ouvertes.fr/hal-01945245 ; Modelling and Implementation of Complex Systems, pp.259-273, 2019 (2019) BASE Show details 17 Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools Gérard, Sébastien; Elaasar, Maged; Noyrit, Florian... In: Model-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science ; https://hal-cea.archives-ouvertes.fr/cea-02572737 ; Model-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science, pp.236-258, 2019, ⟨10.1007/978-3-030-11030-7_11⟩ (2019) BASE Show details 18 An LSTM-Based Neural Network Architecture for Model Transformations Gérard, Sébastien; Burgueño, Loli; Cabot, Jordi... In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) ; https://hal-cea.archives-ouvertes.fr/cea-02572669 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2019, Munich, Germany. pp.294-299, ⟨10.1109/MODELS.2019.00013⟩ (2019) BASE Show details 19 Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering Gérard, Sébastien; Burgueño, Loli; Burdusel, Alexandru... In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ; https://hal-cea.archives-ouvertes.fr/cea-02572659 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.168-169, ⟨10.1109/MODELS-C.2019.00028⟩ (2019) BASE Show details 20 The Future of Model Transformation Languages: An Open Community Discussion. Gérard, Sébastien; Burgueño, Loli; Cabot, Jordi... In: ISSN: 1660-1769 ; The Journal of Object Technology ; https://hal-cea.archives-ouvertes.fr/cea-02572743 ; The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (3), pp.7:1. ⟨10.5381/jot.2019.18.3.a7⟩ (2019) BASE Show details Page: 1 2 3 4 5...8

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 156 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0